var searchData=
[
  ['selection',['selection',['../namespace_main.html#a955b4946ea01fb632e87d63cf0ca65cc',1,'Main']]],
  ['shell',['shell',['../namespace_main.html#a6937c8d0336a8b246b2f144399ff1fc9',1,'Main']]]
];
